A logic of probabilistic knowledge and strategy
نویسندگان
چکیده
The ability of reasoning about knowledge and strategy is key to the autonomy of an intelligent system of multiple players. In this paper, we study the logic of knowledge and strategy in stochastic multiagent systems, where the system’s behaviour is determined by both the behaviour of the players and by some random elements. Players have incomplete information about the system and do not have memory. A logic PATEL∗, whose semantics is based on partiallyobserved concurrent game structures, is proposed. The computational complexities of model checking the logic and its sublogics are solved.
منابع مشابه
A Design Methodology for Reliable MRF-Based Logic Gates
Probabilistic-based methods have been used for designing noise tolerant circuits recently. In these methods, however, there is not any reliability mechanism that is essential for nanometer digital VLSI circuits. In this paper, we propose a novel method for designing reliable probabilistic-based logic gates. The advantage of the proposed method in comparison with previous probabilistic-based met...
متن کاملVariable Impedance Control for Rehabilitation Robot using Interval Type-2 Fuzzy Logic
In this study, a novel variable impedance control for a lower-limb rehabilitation robotic system using voltage control strategy is presented. The majority of existing control approaches are based on control torque strategy, which require the knowledge of robot dynamics as well as dynamic of patients. This requires the controller to overcome complex problems such as uncertainties and nonlinearit...
متن کاملProbabilistic GENCOs Bidding Strategy in Restructured Two-Side Auction Power Markets
As a matter of course, power market uncertainties escalation is by product of power industry restructure on one hand and the unrivalled penetration of renewable energies on the other. Generally, the decision making process in such an uncertain environment faces with different risks. In addition, the performance of real power markets is very close to oligopoly markets, in which, some market play...
متن کاملA Probabilistic Model of Learning Fields in Islamic Economics and Finance
In this paper an epistemological model of learning fields of probabilistic events is formalized. It is used to explain resource allocation governed by pervasive complementarities as the sign of unity of knowledge. Such an episteme is induced epistemologically into interacting, integrating and evolutionary variables representing the problem at hand. The end result is the formalization of a p...
متن کاملA Comparative Study of the Neural Network, Fuzzy Logic, and Nero-fuzzy Systems in Seismic Reservoir Characterization: An Example from Arab (Surmeh) Reservoir as an Iranian Gas Field, Persian Gulf Basin
Intelligent reservoir characterization using seismic attributes and hydraulic flow units has a vital role in the description of oil and gas traps. The predicted model allows an accurate understanding of the reservoir quality, especially at the un-cored well location. This study was conducted in two major steps. In the first step, the survey compared different intelligent techniques to discover ...
متن کامل